We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel, so there seems to be a trade-off between speedup and intensity. In this paper we prove that this trade-off is never in (...) favor of faster signals: the probability for a signal to reach its destination before some deadline is always reduced by the tunnel, for arbitrary incoming states, arbitrary positive and compactly supported tunnel potentials, and arbitrary detectors. More specifically, we show this for several different ways to define “the same incoming state” and “the same detector” when comparing the settings with and without tunnel potential. The arrival time measurements are expressed in the time-covariant approach, but we also allow the detection to be a localization measurement at a later time. (shrink)

This volume has its already distant or1g1n in an inter national conference on Evolutionary Epistemology the editors organized at the University of Ghent in November 1984. This conference aimed to follow up the endeavor started at the ERISS (Epistemologically Relevant Internalist Sociology of Science) conference organized by Don Campbell and Alex Rosen berg at Cazenovia Lake, New York, in June 1981, whilst in jecting the gist of certain current continental intellectual developments into a debate whose focus, we thought, was in (...) danger of being narrowed too much, considering the still underdeveloped state of affairs in the field. Broadly speaking, evolutionary epistemology today con sists of two interrelated, yet qualitatively distinct inves tigative efforts. Both are drawing on Darwinian concepts, which may explain why many people have failed to discriminate them. One is the study of the evolution of the cognitive apparatus of living organisms, which is first and foremost the province of biologists and psychologists (H. C. Plotkin, Ed. , Learning, Development, and Culture: Essays in Evolu tionary Epistemology, New York, Wiley, 1984), although quite a few philosophers - professional or vocational - have also felt the need to express themselves on this vast subject (F. M. Wuketits, Ed. , Conce ts and Approaches in Evolutionary Epistemology, Dordrecht Boston, Reidel, 1984). The other approach deals with the evolution of science, and has been dominated hitherto by (allegedly) 'naturalized' philosophers; no book-length survey of this literature is available at present. (shrink)

Peer review is a widely accepted instrument for raising the quality of science. Peer review limits the enormous unstructured influx of information and the sheer amount of dubious data, which in its absence would plunge science into chaos. In particular, peer review offers the benefit of eliminating papers that suffer from poor craftsmanship or methodological shortcomings, especially in the experimental sciences. However, we believe that peer review is not always appropriate for the evaluation of controversial hypothetical science. We argue that (...) the process of peer review can be prone to bias towards ideas that affirm the prior convictions of reviewers and against innovation and radical new ideas. Innovative hypotheses are thus highly vulnerable to being “filtered out” or made to accord with conventional wisdom by the peer review process. Consequently, having introduced peer review, the Elsevier journal Medical Hypotheses may be unable to continue its tradition as a radical journal allowing discussion of improbable or unconventional ideas. Hence we conclude by asking the publisher to consider re-introducing the system of editorial review to Medical Hypotheses. (shrink)

Schon seit ihrer Gr ndung in den 1970er-Jahren ist die Reihe Germanistische Linguistik (RGL) exponiertes Forum des Faches, dessen Namen sie im Titel f hrt. Hinsichtlich der thematischen Breite (Sprachebenen, Variet ten, Kommunikationsformen, Epochen), der Forschungsperspektiven (Theorie und Empirie, Grundlagenforschung und Anwendung, Inter- und Transdisziplinarit t) und des methodologischen Spektrums ist die Reihe offen angelegt. Das Aufgreifen neuer Trends hat in ihr ebenso Platz wie das Fortf hren von Bew hrtem. Die Publikationsformen reichen von Monographien und Sammelb nden bis zu (...) W rterb chern. Wissenschaftlicher Beirat (ab November 2011): Prof. Dr. Karin Donhauser (Berlin) Prof. Dr. Stephan Elspa (Augsburg) Prof. Dr. Helmuth Feilke (Gie en) Prof. Dr. J rg Fleischer (Marburg) Prof. Dr. Stephan Habscheid (Siegen) Prof. Dr. R diger Harnisch (Passau). (shrink)

pt. 1. A critique of current educational aims.--pt. 2. Reason.--pt. 3. Education and reason.

R F Dearden; Theory and Practice in Education, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-.

R F Dearden; Theory and Practice in Education, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-.

R F Dearden; Happiness and Education, Journal of Philosophy of Education, Volume 2, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-9752.1968.

„My sole purpose in this paper is to try and correct what I take to be a common misinterpretation of Hume’s opinions on mathematics. I shall not enquire whether he was right or wrong in holding these opinions. Nor shall I offer opinions of my own.“.

R F Dearden; Play and Pleasure, Journal of Philosophy of Education, Volume 5, Issue 1, 30 May 2006, Pages 37–41, https://doi.org/10.1111/j.1467-9752.1971.tb0044.

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

R F Dearden; Competition in Education, Journal of Philosophy of Education, Volume 6, Issue 1, 30 May 2006, Pages 119–133, https://doi.org/10.1111/j.1467-9752.19.

R F Dearden; Education and Politics, Journal of Philosophy of Education, Volume 14, Issue 2, 30 May 2006, Pages 149–156, https://doi.org/10.1111/j.1467-9752.198.

R F Dearden; Education and Politics, Journal of Philosophy of Education, Volume 14, Issue 2, 30 May 2006, Pages 149–156, https://doi.org/10.1111/j.1467-9752.198.

R F Dearden; Happiness and Education, Journal of Philosophy of Education, Volume 2, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-9752.1968.

A critical and constructive discussion of philosophical questions which have particular bearing on the formulation of educational aims.

R F Dearden; Freedom and the Development of Autonomy: a reply to Victor Quinn, Journal of Philosophy of Education, Volume 18, Issue 2, 30 May 2006, Pages 271–27.

R. F. Atkinson; XIII*—Explanation in History, Proceedings of the Aristotelian Society, Volume 72, Issue 1, 1 June 1972, Pages 241–256, https://doi.org/10.1093/a.

In Chapter 4 of his essay Utilitarianism, “Of what sort of Proof the Principle of Utility is susceptible,” J. S. Mill undertakes to prove, in some sense of that term, the principle of utility. It has very commonly been argued that in the course of this “proof” Mill commits two very obvious fallacies. The first is the naturalistic fallacy which he is held to commit when he argues that since “the only proof capable of being given that an object is (...) visible, is that people actually see it. The only proof that a sound is audible is that people hear it: and so of the other sources of our experience. In like manner … the sole evidence it is possible to produce that anything is desirable, is that people do actually desire it.”1 Here Mill appears to hold that “X is desirable ”—a value judgment—follows deductively from “People desire x”—a factual statement. And the second is the fallacy of composition which seems to be involved in Mill'zs argument that since “each person's happiness is a good to that person … the general happiness, therefore, a good to the aggregate of all persons.”2. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)